Knd  Type 

latex

Definitions	Knd, IdLnk, t  T, Id
Lemmas	Id wf, IdLnk wf